-
1 интуиционистская математика
Большой англо-русский и русско-английский словарь > интуиционистская математика
-
2 intuitionistic mathematics
Математика: интуиционистская математикаУниверсальный англо-русский словарь > intuitionistic mathematics
-
3 intuitionistic mathematics
English-Russian scientific dictionary > intuitionistic mathematics
-
4 intuitionistic algebra
Математика: интуиционистская алгебраУниверсальный англо-русский словарь > intuitionistic algebra
-
5 intuitionistic arithmetic
Математика: интуиционистская арифметикаУниверсальный англо-русский словарь > intuitionistic arithmetic
-
6 intuitionistic consequence operation
Универсальный англо-русский словарь > intuitionistic consequence operation
-
7 intuitionistic continuity
Математика: интуиционистская непрерывностьУниверсальный англо-русский словарь > intuitionistic continuity
-
8 intuitionistic implication
Математика: интуиционистская импликацияУниверсальный англо-русский словарь > intuitionistic implication
-
9 intuitionistic propositional tautology
Математика: интуиционистская пропозициональная тавтологияУниверсальный англо-русский словарь > intuitionistic propositional tautology
-
10 intuitionistic system
Математика: интуиционистская система -
11 intuitionistic tautology
Математика: интуиционистская тавтологияУниверсальный англо-русский словарь > intuitionistic tautology
-
12 intuitionistic theory
Математика: интуиционистская теория -
13 intuitionistic unprovable
Математика: интуиционистская недоказуемостьУниверсальный англо-русский словарь > intuitionistic unprovable
См. также в других словарях:
Интуиционистская логика — Интуиционизм система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений. С точки зрения интуиционизма, основным критерием истинности математического… … Википедия
ИНТУИЦИОНИСТСКАЯ ЛОГИКА — одна из наиболее важных ветвей неклассической логики, имеющая своей филос. предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил.… … Философская энциклопедия
Математика — I. Определение предмета математики, связь с другими науками и техникой. Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира. «Чистая … Большая советская энциклопедия
Интуиционистская логика — форма логики предикатов (См. Логика предикатов), отражающая взгляд Интуиционизма на характер логических законов, считающихся, с его точки зрения, допустимыми в применении к доказательствам суждений из тех частей дедуктивных наук (особенно … Большая советская энциклопедия
КОНСТРУКТИВНАЯ МАТЕМАТИКА — конструктивное направление в математике, математика, строящаяся в соответствии с тем или иным конструктивным математич. мировоззрением, обыкновенно стремящимся связывать утверждения о существовании математнч. объектов с возможностью их построения … Математическая энциклопедия
ИНТУИЦИОНИЗМ — совокупность философских и математич. идей и методов, рассматривающих математику как науку об умственных построениях. С точки зрения И., основным критерием истинности математич. суждения является интуитивная убедительность возможности построения… … Математическая энциклопедия
Интуиционизм — Интуиционизм система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений. С точки зрения интуиционизма, основным критерием истинности… … Википедия
ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика … Философская энциклопедия
Математический интуиционизм — философско математическое течение, отвергающее теоретико множественную трактовку математики и считающее интуицию единственным источником математики и главным критерием строгости её построений. Восходящая к античной математике… … Большая советская энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… … Математическая энциклопедия
МЕТОД АКСИОМАТИЧЕСКИЙ — способ построения теории, при к ром в ее основу кладутся нек рые ее положения – аксиомы или постулаты, – из к рых все остальные положения теории (теоремы) выводятся путем рассуждений, называемых д о к а з а т е л ь с т в а м и. Правила, по к рым… … Философская энциклопедия